Symbolic execution - PDFSEARCH.IO - Document Search Engine

Symbolic execution
Results: 153

#	Item
121	Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Computer programming Symbolic execution Concolic testing Buffer overflow Algorithm Infinite loop Function Stack Dependence analysis Software bugs Software engineering Computing
122	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 03:36:49 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
123	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-02-15 14:07:11 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
124	Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Software engineering Valgrind Integer overflow Infinite loop Memory safety Fuzz testing Stack Pointer Symbolic execution Computer programming Software bugs Computing
125	Instrumentation and Measurement Technology Conference - IMTC 2007 Warsaw, Poland, May 1-3, 2007 Symbolic Computation for Evaluation of Measurement Uncertainty Peng Wei, Qing Ping Yang, Mohd Rizal Salleh, Barry Jones Add to Reading List Source URL: bura.brunel.ac.uk Language: English - Date: 2014-11-01 07:53:41 Measurement Mathematical modeling Array programming languages Numerical software Measurement uncertainty Symbolic computation Uncertainty Analytica Symbolic execution Mathematical software Science Statistics
126	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering
127	c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:06:20 Algorithm KeY Applied mathematics Mathematics Formal methods Abstract interpretation Symbolic execution
128	Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2011-08-15 13:47:43 Constraint programming Software bugs Formal methods Logic in computer science Memory management Concolic testing Symbolic execution Debugger Satisfiability Modulo Theories Software engineering Theoretical computer science Computing
129	LNCS[removed]ExpliSAT: Guiding SAT-Based Software Verification with Explicit States Add to Reading List Source URL: www.kroening.com Language: English - Date: 2014-05-11 10:56:05 Static single assignment form Model checking Algorithm Computing Compiler construction Abstract interpretation Symbolic execution
130	Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Numerical software Functions and mappings Boolean algebra Algebraic logic Parity Satisfiability Modulo Theories Tcl Symbolic execution FO Mathematics Theoretical computer science Physics

UPDATE